Some notes on: ``A deduction theorem for restricted generality''.
نویسندگان
چکیده
منابع مشابه
Some Notes on the Spectral Theorem
The theory has one formulation in terms of real inner product spaces and one in terms of complex Hermitian spaces. In fact the real case is naturally encompassed by the complex case. But since the real case is so often used, we will give both formulations starting with the real case. Let V be a real vector space. A real pairing 〈·, ·〉 on V , 〈·, ·〉 : V × V → R, (~v, ~ w) 7→ 〈~v, ~ w〉 is symmetr...
متن کاملThe Deduction Theorem for Quantum Logic - Some Negative Results
We prove that no logic (i.e.consequence operation) determined by any class of orthomodular lattices admits the deduction theorem (Theorem 2.7). We extend those results to some broader class of logics determined by ortholattices (Corollary 2.6).
متن کاملSome brief notes on the Kodaira Vanishing Theorem
This is a huge topic, because there is a difference between looking at an abstract variety and local equations versus the equations that define a projective variety. Given an abstract variety X and want to imbed in complex projective space, P, then only the canonical line bundle OP (1) is the important object. Let M be a complex manifold of (complex) dimension n. A divisor is defined as follows...
متن کاملSome Notes on an Expansion Theorem of Paley and Wiener
Paley and Wiener have formulated a criterion for a set of functions {gn} to be "near" a given orthonormal set {/w}. The interest of this criterion is that it guarantees the set {gn} to have expansion properties similar to an orthonormal set. In particular, they show that the set \gn) approximately satisfies Parseval's formula. In the first part of this paper we show that, conversely, if a set {...
متن کاملSome Results on Baer's Theorem
Baer has shown that, for a group G, finiteness of G=Zi(G) implies finiteness of ɣi+1(G). In this paper we will show that the converse is true provided that G=Zi(G) is finitely generated. In particular, when G is a finite nilpotent group we show that |G=Zi(G)| divides |ɣi+1(G)|d′ i(G), where d′i(G) =(d( G /Zi(G)))i.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1976
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093887436